cocontinuous functor

[数] 上连续函子